Inductive programming - PDFSEARCH.IO - Document Search Engine

Inductive programming
Results: 80

#	Item
51	QuickFOIL: Scalable Inductive Logic Programming Qiang Zeng Jignesh M. Patel David Page Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:18 Propositional calculus Predicate logic Logic in computer science Logic programming Relational model Relational algebra Horn clause Literal Finitary relation Logic Mathematical logic Mathematics
52	In Proceedings of the 19th International Conference on Inductive Logic Programming (ILP-09), Leuven, Belgium, July[removed]Speeding up Inference in Statistical Relational Learning by Clustering Similar Query Literals Lily Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-12 18:35:44 Artificial intelligence Bayesian statistics Logic programming Markov logic network Theoretical computer science Inference Probabilistic logic Clause Belief propagation Logic Science Mathematics
53	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
54	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition
55	Inductive Logic Programming Used to Discover Topological Constraints in Protein Structures Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 10:43:25 Protein domains Beta sheet Protein secondary structure Protein structure prediction TIM barrel LSm Leucine-rich repeat Beta barrel Protein structure Biology Chemistry
56	Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-28 18:02:46 Formal methods Logic in computer science Electronic design automation Mathematical logic Programming paradigms And-inverter graph Logic programming Model checking Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
57	ESA Core Data Application Schema Janet Bateson / Howard Pond 2nd July 2002 Version 1.9.5 Object-Oriented Model ESA Core Data Application Schema Add to Reading List Source URL: www.linz.govt.nz Language: English - Date: 2011-03-24 22:46:38 Computing Generalization Inductive reasoning Thought Enterprise modelling PowerDesigner Is-a Class Software engineering Object-oriented programming Computer programming
58	A Comparative Study on Methods for Reducing Myopia of Hill-Climbing Search in Multirelational Learning Lourdes Pe˜ na Castillo Otto-von-Guericke-University Magdeburg, Germany Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:19:41 Automated theorem proving Logic programming Inductive logic programming PROGOL Unit propagation Clause Macro Rule induction Time complexity Theoretical computer science Computer programming Applied mathematics
59	PDF Document Add to Reading List Source URL: ii.nlm.nih.gov Language: English - Date: 2013-09-15 17:01:44 Biological databases Medical research Bioinformatics Library science Index Medical Subject Headings Inductive logic programming MEDLINE Biomedical text mining Science Knowledge Information science
60	UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin Add to Reading List Source URL: www.peterdebruin.net Language: English - Date: 2010-01-10 15:07:06 Mathematical logic Programming idioms Type theory Recursion Theoretical computer science Intuitionistic type theory Initial algebra Mathematical proof Inductive reasoning Mathematics Computer programming Logic